Abstraction and Performance from Explicit Monadic Re ection
نویسندگان
چکیده
ion and Performance from Explicit Monadic Re ection Jonathan Sobel Erik Hilsdale R. Kent Dybvig Daniel P. Friedman Department of Computer Science
منابع مشابه
On the Expressive Power of User - Defined E ects
We compare the expressive power of three programming abstractions for user-de ned computational e ects: Bauer and Pretnar’s e ect handlers, Filinski’s monadic re ection, and delimited control without answer-type-modi cation. This comparison allows a precise discussion about the relative expressiveness of each programming abstraction. It also demonstrates the sensitivity of the relative expressi...
متن کاملAbstraction and Performance from Explicit Monadic Reflection
Most of the existing literature about monadic programming focuses on theory but does not address issues of software engineering. Using monadic parsing as a running example, we demonstrate monadic programs written in a typical style, recognize how they violate abstraction boundaries, and recover clean abstraction crossings through monadic reflection. Once monadic reflection is made explicit, it ...
متن کاملControlling E ects
Many computational e ects, such as exceptions, state, or nondeterminism, can be conveniently speci ed in terms of monads. We investigate a technique for uniformly adding arbitrary such e ects to ML-like languages, without requiring any structural changes to the programs themselves. Instead, we use monadic re ection, a new language construct for explicitly converting back and forth between repre...
متن کاملControlling Eeects Thesis Committee
Many computational e ects, such as exceptions, state, or nondeterminism, can be conveniently speci ed in terms of monads. We investigate a technique for uniformly adding arbitrary such e ects to ML-like languages, without requiring any structural changes to the programs themselves. Instead, we use monadic re ection, a new language construct for explicitly converting back and forth between repre...
متن کاملInverse solutions to radiative-transfer problems with partially transparent boundaries and di*use re+ection
Analytical techniques are used to solve a class of inverse radiative-transfer problems relevant to 1nite and semi-in1nite plane-parallel media. While the assumption of isotropic scattering is made, di*use re+ection is allowed at the surface, for the semi-in1nite case, and at both surfaces for the case of a 1nite layer. For the general case based on a semi-in1nite medium, a cubic algebraic equat...
متن کامل